-- Warn on unique non-arrays
--
-- ==
-- warning: has no effect*

type t = i32

def main (x: *t) : t = x
